Elementarity and Dimensions
نویسنده
چکیده
We give an alternative proof of Fedorchuk’s recent result that dimX6DgX for compact Hausdorff spaces X. We use the Löwenheim-Skolem theorem to reduce the problem to the metric case.
منابع مشابه
Reflections on a Proof of Elementarity
This is an exposition and analysis of van Benthem’s original proof, hitherto unpublished, that if the class of structures (frames) validating a modal formula is closed under elementary equivalence, then it is the class of all models of a single first-order sentence.
متن کاملNew Foundations is consistent
Change Notes: 8/18/2015: imported the revision of the “relevant FM interpretation” found in the latest series, which actually describes what happens in every clan in the main construction without oversimplification. 6/24/2015: 3 am debugging wording in various places. 6/23/2015: 7:46 am MST some typos corrected external permutations seem to be needed to handle the elementarity argument. I have ...
متن کاملHybrid Definability in Topological Spaces
We present some results concerning definability of classes of topological spaces in hybrid languages. We use language Lt described in [9] to establish notion of “elementarity” for classes of topological spaces. We use it to prove the analogue of Goldblatt-Thomason theorem in topological spaces for hybrid languages H(E) and H(@). We also prove a theorem that allows to reformulate definability re...
متن کاملA Dichotomy for Some Elementarily Generated Modal Logics
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form ∀x0∃x1 . . .∃xn ∧ xiRλxj . We prove that many properties of these logics, such as finite axiomatisability, elementarity, axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula, together with modal definability of the initial formula, either si...
متن کاملMotion of a Classical Charged Particle Physical
1550-7998=20 The Lorentz-Dirac equation is not an unavoidable consequence of solely linear and angular momenta conservation for a point charge. It also requires an additional assumption concerning the elementary character of the charge. We here use a less restrictive elementarity assumption for a spinless charge and derive a system of conservation equations that are not properly the equation of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003